Mixed logical-linear programming

Mixed Logical-linear Programming

Mixed logical linear programming MLLP is an extension of mixed integer linear pro gramming MILP It can represents the discrete elements of a problem with logical propo sitions and provides a more natural modeling framework than MILP It can also have computational advantages partly because it eliminates integer variables when they serve no purpose provides alternatives to the traditional continu...

Linear Logical Reasoning on Programming

In our paper we follow the development of our approach of regarding programming as logical reasoning in intuitionistic linear logic. We present basic notions of linear logic and its deduction system and we define categorical semantics of linear logic as a symmetric monoidal closed category. Then we construct linear type theory over linear Church’s types involving linear calculus with equational...

Application-oriented mixed integer non-linear programming

Mixed Mode Programming for Sparse Linear Algebra

Sparse linear algebra algorithms, and especially algorithms for the iterative solution of sparse lineary systems, lie at the heart of many scientific computing applications, ranging from computational fluid dynamics to structural engineering and electromagnetic analysis. Their efficient implementation is thus a very important challenge for the numerical software community. The current trend in ...

Noncommercial Software for Mixed-Integer Linear Programming

We present an overview of noncommercial software tools for the solution of mixed-integer linear programs (MILPs). We first review solution methodologies for MILPs and then present an overview of the available software, including detailed descriptions of eight software packages available under open-source or other noncommercial licenses. Each package is categorized as a black-box solver, a calla...